$\forall$$i$:Id, $w$:World, $p$:FairFifo, $k$:Knd, $t$:$\mathbb{N}$.
\\[0ex]($\neg$($\uparrow$isnull(a($i$;$t$)))) $\Rightarrow$ (es{-}kind{-}index(ES($w$);$k$;$<$$i$, $t$$>$) $\sim$ w{-}knum($w$;$i$;$k$;$t$))